Reconstruction of Dense Correspondences Martin Eisemann, Jan-Michael Frahm, Yannick Remion, Muhannad Ismael 8.1 Introduction This chapter concentrates on dense image correspondence estimation with

Source URL: graphics.tu-bs.de

• Image processing
• Computer vision
• Computer graphics
• Image segmentation
• Vision
• Optical flow
• Stereoscopy
• Pixel
• Image resolution

The superjump in Martin-L¨of type theory Michael Rathjen School of Mathematics, University of Leeds, Leeds LS2 9JT, UK Abstract Universes of types were introduced into constructive type theory by MartinL¨ofThe i

Source URL: www1.maths.leeds.ac.uk

Gesture and Emotion: Can basic gestural form features discriminate emotions? Michael Kipp DFKI, Saarbr¨ucken, Germany Jean-Claude Martin LIMSI-CNRS, Paris, France

Source URL: embots.dfki.de

The constructive Hilbert program and the limits of Martin-L¨of type theory∗ Michael Rathjen Department of Pure Mathematics, University of Leeds Leeds LS2 9JT, United Kingdom E-Mail:

Source URL: www1.maths.leeds.ac.uk

swMATH – A New Information Service for Mathematical Software Sebastian B¨onisch1 , Michael Brickenstein2 , Hagen Chrapary1, Gert-Martin Greuel3 , and Wolfram Sperber1 1

Source URL: www.swmath.org

• Computing
• Technology
• Technical communication
• Information science
• Mathematical software
• Zentralblatt MATH
• Software
• FIZ Karlsruhe
• Application software

Appendix E: Alternative Approaches The models in this appendix were contributed by Michael Butler, John Fitzgerald, Martin Gogolla, Peter Gorm Larsen, and Jim Woodcock, and are included here with their permission. Alloy

Source URL: softwareabstractions.org

Nonparametric estimation of the likelihood ratio and divergence functionals 1 XuanLong Nguyen1 , Martin J. Wainwright1,2 and Michael I. Jordan1,2

Source URL: dept.stat.lsa.umich.edu

• Geometry
• Mathematical analysis
• Statistical distance
• Statistics
• F-divergence
• KullbackLeibler divergence
• Divergence
• Bregman divergence
• Distribution
• Hellinger distance

BZ-Verkaufstipps Fussballfieber – EM 2016 Martin, Michael / Schaub, Daniel. Das grosse Schweizer Buch der EM 2016.

Source URL: www.buchzentrum.ch

Authoring Scenes for Adaptive, Interactive Performances Patrick Gebhard Michael Kipp Martin Klesen

Source URL: embots.dfki.de

The strength of Martin-L¨of type theory with a superuniverse. Part II Michael Rathjen∗ School of Mathematics, University of Leeds, Leeds LS2 9JT, UK Abstract

Source URL: www1.maths.leeds.ac.uk